Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
421	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
422	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction
423	MCS 401 – Computer Algorithms I Spring 2016 Problem Set 1 Lev Reyzin Due: by the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-22 10:42:53 Theoretical computer science Algorithm Mathematical logic Big O notation
424	BU CAS CS 520 (Fall Semester, Principles of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter i Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2011-09-03 11:02:00 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
425	In D. Corfield and J. Williamson (Eds.) Foundations of Bayesianism, Kluwer Applied Logic Series, Kluwer Academic Publishers,Vol. 24, 19-36, 2001. JUDEA PEARL Add to Reading List Source URL: ftp.cs.ucla.edu Language: English - Date: 2007-02-09 16:16:38 Econometrics Regression analysis Philosophy of science Conditionals Independence Causality Causal model Instrumental variable Statistics Confounding Correlation and dependence Structural equation modeling
426	In defense of the epistemic view of quantum states: a toy theory Robert W. Spekkens arXiv:quant-ph/0401052v2 7 OctPerimeter Institute for Theoretical Physics, Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:02 Quantum mechanics Quantum information science Philosophy of science Quantum states Modal logic Ontic Interpretations of quantum mechanics Spekkens Toy Model No-cloning theorem Quantum entanglement Mathematical formulation of quantum mechanics Quantum operation
427	BALKAN JOURNAL OF PHILOSOPHY Vol. 7, Issue 1, 2015 The issue is co-sponsored by the Bulgarian National Science Fund, competition “Bulgarian Scientific Periodicals—2014,” project No. DNPfrom. Add to Reading List Source URL: www.issk-bas.org Language: English - Date: 2015-04-30 11:15:36 Philosophical movements Autonomy Philosophical logic Philosophy of mind Philosophy of psychology Rationality Intuition Homo economicus Empiricism
428	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Information science Semantic Web Knowledge representation Technical communication Artificial intelligence Ontology Web Ontology Language Model theory Module Structure Theory Description logic
429	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
430	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation

UPDATE